คณิตศาสตร์เชิงการเรียงลำดับ

ออโตมาตา, กรัมมาร์ และภาษาเชิงรูปแบบ